1861. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings
پدیدآورنده : Gopal Gupta )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1551
1862. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings
پدیدآورنده : Enrico Pontelli, Vitor Santos Costa )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming
رده :
QA
76
.
L28
Vol
.
1753
1863. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
پدیدآورنده : Manuel Hermenegildo, Daniel Cabeza )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3350
1864. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings
پدیدآورنده : Michael Hanus )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
4354
1865. Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings
پدیدآورنده : Shriram Krishnamurthi, C.R. Ramakrishnan )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2257
1866. Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings
پدیدآورنده : Bharat Jayaraman )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3057
1867. Practical aspects of declarative languages :5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
پدیدآورنده : Veronica Dahl, Philip Wadler )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2562
1868. Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
پدیدآورنده : I.V. Ramakrishnan
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1990
1869. Practical foundations for programming languages /
پدیدآورنده : Robert Harper
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
.
H377
2013
1870. Practical foundations for programming languages /
پدیدآورنده : Robert Harper, Carnegie Mellon University.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
.
H377
2016
1871. Practical program development using JSP: a manual of program design using the design method developed
پدیدآورنده : Storer, Ralph
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Jackson structured programming,، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
S77
1987
1872. Practical programming
پدیدآورنده : Corlett, Peter Norman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Electronic computers(,، ALGOL )Computer program language(
رده :
QA
76
.
C5878
1873. Practical programming
پدیدآورنده : Corlett, P. N.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Programming )Electronic computers(
رده :
QA
76
.
6
.
C6
1972
1874. Practical programming
پدیدآورنده : Corlett, Peter Norman.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، ALGOL )Computer program language(,، FORTRAN )Computer program language(,، Numerical analysis - Data processing
رده :
QA
76
.
6
.
C66
1972
1875. Practical strategies for developing large software systems
پدیدآورنده : Ellis Horowitz, editor ; with contributions by Barry Boehm ... )et al.(
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
P68
1975
1876. Practical strategies for developing large software systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
P68
1975
1877. Practical strategies for developing large software systems
پدیدآورنده : / Ellis Horowitz, editor
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Electronic digital computers - Programming
رده :
QA76
.
6
.
P68
1878. Practical web development :
پدیدآورنده : Paul Wellens
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Document markup languages,Programming languages (Electronic computers),Web site development
رده :
TK5105
.
888
1879. Precise numerical methods using C++
پدیدآورنده : Aberth, Oliver
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، C++ )Computer program language(,Programming ، Electronic digital computers,، Numerical analysis
رده :
QA
76
.
73
.
C153
A24
1998
1880. Predicate calculus and program semantics
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: (طهران)
موضوع : ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
رده :
QA
9
.
35
.
D55
1989
